regular languages closed under suffix